well-formed formula
- 网络合式公式;合适的方程式;构式

well-formed formula
合式公式
例 如指令的合式公式(well-formed formula) 为: ; { } c { ′ } Δ Σ Ψ Ψ , 在程序规范 Δ 和结构类型环境 下, 在每个程序点从 …
合适的方程式
联谊的英语翻译,联谊用英文怎么说 -... ... 1. well-formed formula; 合适的方程式 2. Western Frontier Force; 西部边境部队 ...
构式
完构式(well-formed formula)。真值函数是什麽?
分式母式
分式母式(well-formed formula)正在pltl中的界说如主:伏尾,企业按照从身的独特之处败坐下效的执止步伐,并形败一类企业 …
完构语式
不须提供基本的运算 (operations),而 完全是以「完构语式」(well-formed formula) 来说明查询所要的是 “什 麽”。 Frank S.C. T…
合适公式
... goal well-formed formula 目标合适公式 合适公式 well-formed formula 目标合适公式 goal well-formed formula;goal wff ...